Diffuse radio emission in the complex merging galaxy cluster Abell 2069

Galaxy clusters with signs for a recent merger show in many cases extended diffuse radio features. This emission originates from relativistic electrons which suffer synchrotron losses due to the intra-cluster magnetic field. The mechanisms of the particle acceleration and the properties of the magnetic field are still poorly understood. We search for diffuse radio emission in galaxy clusters. Here, we study the complex galaxy cluster Abell 2069, for which X-ray observations indicate a recent merger. We investigate the cluster's radio continuum emission by deep Westerbork Synthesis Radio Telescope (WSRT) observations at 346 MHz and a Giant Metrewave Radio Telescope (GMRT) observation at 322 MHz. We find an extended diffuse radio feature roughly coinciding with the main component of the cluster. We classify this emission as a radio halo and estimate its lower limit flux density to 25 +/- 9 mJy. Moreover, we find a second extended diffuse source located at the cluster's companion and estimate its flux density to 15 +/- 2 mJy. We speculate that this is a small halo or a mini-halo. If true, this cluster is the first example of a double-halo in a single galaxy cluster.Comment: 6 pages, 3 figures, accepted for publication in A&

Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered

Connecting radio emission to AGN wind properties with Broad Absorption Line Quasars

Broad Absorption Line Quasars (BALQSOs) show strong signatures of powerful outflows, with the potential to alter the cosmic history of their host galaxies. These signatures are only seen in ∼10% of optically selected quasars, although the fraction significantly increases in IR and radio selected samples. A proven physical explanation for this observed fraction has yet to be found, along with a determination of why this fraction increases at radio wavelengths. We present the largest sample of radio matched BALQSOs using the LOFAR Two-metre Sky Survey Data Release 2 and employ it to investigate radio properties of BALQSOs. Within the DR2 footprint, there are 3537 BALQSOs from Sloan Digital Sky Survey DR12 with continuum signal to noise ≥5. We find radio-detections for 1108 BALQSOs, with an important sub-population of 120 LoBALs, an unprecedented sample size for radio matched BALQSOs given the sky coverage to date. BALQSOs are a radio-quiet population that show an increase of × 1.50 radio-detection fraction compared to non-BALQSOs. LoBALs show an increase of × 2.22 that of non-BALQSO quasars. We show that this detection fraction correlates with wind-strength, reddening and C IV emission properties of BALQSOs and that these features may be connected, although no single property can fully explain the enhanced radio detection fraction. We create composite spectra for sub-classes of BALQSOs based on wind strength and colour, finding differences in the absorption profiles of radio-detected and radio-undetected sources, particularly for LoBALs. Overall, we favour a wind-ISM interaction explanation for the increased radio-detection fraction of BALQSOs

Limits on long-time-scale radio transients at 150 MHz using the TGSS ADR1 and LoTSS DR2 catalogues

We present a search for transient radio sources on timescales of 2 to 9 yr at 150 MHz. This search is conducted by comparing the first Alternative Data Release of the TIFR GMRT Sky Survey (TGSS ADR1) and the second data release of the LOFAR Two-metre Sky Survey (LoTSS DR2). The overlapping survey area covers 5570 $\rm{deg}^2$ on the sky, or 14 per cent of the total sky. We introduce a method to compare the source catalogues that involves a pair match of sources, a flux density cutoff to meet the survey completeness limit and a newly developed compactness criterion. This method is used to identify both transient candidates in the TGSS source catalogue that have no counterpart in the LoTSS catalogue and transient candidates in LoTSS without a counterpart in TGSS. We find that imaging artefacts and uncertainties and variations in the flux density scales complicate the transient search. Our method to search for transients by comparing two different surveys, while taking into account imaging artefacts around bright sources and misaligned flux scales between surveys, is universally applicable to future radio transient searches. No transient sources were identified, but we are able to place an upper limit on the transient surface density of $<5.4 \cdot 10^{-4}\ \text{deg}^{-2}$ at 150 MHz for compact sources with an integrated flux density over 100 mJy. Here we define a transient as a compact source with flux density greater than 100 mJy that appears in the catalogue of one survey without a counterpart in the other survey.Comment: 14 pages, 11 figure

The LOFAR ling baseline snapshot calibrator survey

Aims:\ud An efficient means of locating calibrator sources for international LOw Frequency ARray (LOFAR) is developed and used to determine the average density of usable calibrator sources on the sky for subarcsecond observations at 140 MHz.\ud \ud Methods\ud We used the multi-beaming capability of LOFAR to conduct a fast and computationally inexpensive survey with the full international LOFAR array. Sources were preselected on the basis of 325 MHz arcminute-scale flux density using existing catalogues. By observing 30 different sources in each of the 12 sets of pointings per hour, we were able to inspect 630 sources in two hours to determine if they possess a sufficiently bright compact component to be usable as LOFAR delay calibrators.\ud \ud Results:\ud More than 40% of the observed sources are detected on multiple baselines between international stations and 86 are classified as satisfactory calibrators. We show that a flat low-frequency spectrum (from 74 to 325 MHz) is the best predictor of compactness at 140 MHz. We extrapolate from our sample to show that the sky density of calibrators that are sufficiently bright to calibrate dispersive and non-dispersive delays for the international LOFAR using existing methods is 1.0 per square degree.\ud \ud Conclusions:\ud The observed density of satisfactory delay calibrator sources means that observations with international LOFAR should be possible at virtually any point in the sky provided that a fast and efficient search, using the methodology described here, is conducted prior to the observation to identify the best calibrator

The contribution of discrete sources to the sky temperature at 144 MHz

This paper is part of the 1st data release of the LoTSS Deep Fields. © 2020 The European Southern Observatory (ESO)In recent years, the level of the extragalactic radio background has become a point of considerable interest, with some lines of argument pointing to an entirely new cosmological synchrotron background. The contribution of the known discrete source population to the sky temperature is key to this discussion. Because of the steep spectral index of the excess over the cosmic microwave background, it is best studied at low frequencies where the signal is strongest. The Low-Frequency Array (LOFAR) wide and deep sky surveys give us the best constraints yet on the contribution of discrete extragalactic sources at 144 MHz, and in particular allow us to include contributions from diffuse, low-surface-brightness emission that could not be fully accounted for in previous work. We show that, even with these new data, known sources can still only account for around a quarter of the estimated extragalactic sky temperature at LOFAR frequencies.Peer reviewedFinal Accepted Versio

Hard X-ray selected giant radio galaxies -- III. The LOFAR view

Giant radio galaxies (GRGs), with extended structures reaching hundreds of kpc, are among the most spectacular examples of ejection of relativistic plasma from super-massive black holes. In this work, third of a series, we present LOw Frequency ARray (LOFAR) images at 144 MHz, collected in the framework of the LOFAR Two-metre Sky Survey Data Release 2 (LoTSS DR2), for nine sources extracted from our sample of hard X-ray selected GRGs (HXGRG, i.e. from INTEGRAL/IBIS and Swift/BAT catalogues at >20 keV). Thanks to the resolution and sensitivity of LoTSS, we could probe the complex morphology of these GRGs, unveiling cases with diffuse (Mpc-scale) remnant emission, presence of faint off-axis wings, or a misaligned inner jet. In particular, for one source (B21144+35B), we could clearly detect a $\sim$300 kpc wide off-axis emission, in addition to an inner jet which orientation is not aligned with the lobes axis. For another source (J1153.9+5848) a structure consistent with jet precession was revealed, appearing as an X-shaped morphology with relic lobes having an extension larger than the present ones, and with a different axis orientation. From an environment analysis, we found 2 sources showing an overdensity of cosmological neighbours, and a correspondent association with a galaxy cluster from catalogues. Finally, a comparison with radio-selected GRGs from LoTSS DR1 suggested that, on average, HXGRG can grow to larger extents. These results highlight the importance of deep low-frequency observations to probe the evolution of radio galaxies, and ultimately estimate the duty cycle of their jets.Comment: Accepted for publication in MNRA